| 1. | Many languages allow users to define new enumerated types.
|
| 2. | In type theory, enumerated types are often regarded as tagged unions of unit types.
|
| 3. | Some databases support enumerated types directly.
|
| 4. | An enumerated type can be seen as a degenerate case : a tagged union of unit types.
|
| 5. | MySQL provides an enumerated type ENUM with allowable values specified as strings when a table is created.
|
| 6. | Enumerated types are Comparable, using the internal integer; as a result, they can be sorted.
|
| 7. | Enumerated types are an important feature of the language; they can have type parameters and be recursive.
|
| 8. | Variables declared to be of enumerated type cannot be assigned to variables of a different enumerated type without casting.
|
| 9. | Variables declared to be of enumerated type cannot be assigned to variables of a different enumerated type without casting.
|
| 10. | Some compilers warn if an object with enumerated type is assigned a value that is not one of its constants.
|